Authored by:: [[P- Brendan Langen]]

Compression and contextualizability are both are needed for synthesis. Flexible compression aims to be lossless to ensure context is retained through transclusion. Yet, this is often difficult, because [[C- Compression and contextualizability are in tension]].

When we are viewing something at different levels of abstraction, we are bound to miss certain details. Thus, we ask [[Q- What is an interface for going up and down the ladder of abstraction]]?